#ifndef __DV200_GPIO_H__
#define __DV200_GPIO_H__

#include <stdint.h>

static void *const gpio_base_addr[] = {
	(void *)0x120b0000,
	(void *)0x120b1000,
	(void *)0x120b2000,
	(void *)0x120b3000,
	(void *)0x120b4000,
	(void *)0x120b5000,
	(void *)0x120b6000,
	(void *)0x120b7000,
	(void *)0x120b8000,
	(void *)0x120b9000,
};

static const uint32_t gpio_data_reg_offset = 0x3fc;
static const uint32_t gpio_dir_reg_offset = 0x400;

const char *const cputype = "dv200";

#endif
